7

On the call-by-value CPS transform and its semantics

Year:
2004
Language:
english
File:
PDF, 538 KB
english, 2004
8

An equational notion of lifting monad

Year:
2003
Language:
english
File:
PDF, 220 KB
english, 2003
15

Order-enriched categorical models of the classical sequent calculus

Year:
2006
Language:
english
File:
PDF, 592 KB
english, 2006